@inproceedings{al-shaerFlowChecker2010,
  title = {{{FlowChecker}}: Configuration Analysis and Verification of Federated Openflow Infrastructures},
  shorttitle = {{{FlowChecker}}},
  booktitle = {Proceedings of the 3rd {{ACM}} Workshop on {{Assurable}} and Usable Security Configuration - {{SafeConfig}} '10},
  author = {Al-Shaer, Ehab and Al-Haj, Saeed},
  date = {2010},
  pages = {37},
  publisher = {{ACM Press}},
  location = {{Chicago, Illinois, USA}},
  doi = {10.1145/1866898.1866905},
  url = {http://portal.acm.org/citation.cfm?doid=1866898.1866905},
  urldate = {2023-01-04},
  eventtitle = {The 3rd {{ACM}} Workshop},
  isbn = {978-1-4503-0093-3},
  langid = {english}
}

@misc{hornDeltanet2017,
  title = {Delta-Net: {{Real-time Network Verification Using Atoms}}},
  shorttitle = {Delta-Net},
  author = {Horn, Alex and Kheradmand, Ali and Prasad, Mukul R.},
  date = {2017-02-23},
  number = {arXiv:1702.07375},
  eprint = {1702.07375},
  eprinttype = {arxiv},
  primaryclass = {cs},
  publisher = {{arXiv}},
  url = {http://arxiv.org/abs/1702.07375},
  urldate = {2023-01-04},
  archiveprefix = {arXiv},
  keywords = {Computer Science - Logic in Computer Science,Computer Science - Networking and Internet Architecture}
}

@inproceedings{jayaramanValidating2019,
  title = {Validating Datacenters at Scale},
  booktitle = {Proceedings of the {{ACM Special Interest Group}} on {{Data Communication}}},
  author = {Jayaraman, Karthick and Bjørner, Nikolaj and Padhye, Jitu and Agrawal, Amar and Bhargava, Ashish and Bissonnette, Paul-Andre C and Foster, Shane and Helwer, Andrew and Kasten, Mark and Lee, Ivan and Namdhari, Anup and Niaz, Haseeb and Parkhi, Aniruddha and Pinnamraju, Hanukumar and Power, Adrian and Raje, Neha Milind and Sharma, Parag},
  date = {2019-08-19},
  pages = {200--213},
  publisher = {{ACM}},
  location = {{Beijing China}},
  doi = {10.1145/3341302.3342094},
  url = {https://dl.acm.org/doi/10.1145/3341302.3342094},
  urldate = {2023-01-04},
  eventtitle = {{{SIGCOMM}} '19: {{ACM SIGCOMM}} 2019 {{Conference}}},
  isbn = {978-1-4503-5956-6},
  langid = {english}
}

@article{kazemianHeader,
  title = {Header {{Space Analysis}}: {{Static Checking For Networks}}},
  author = {Kazemian, Peyman and Varghese, George and McKeown, Nick},
  langid = {english}
}

@article{khurshidVeriflow2012,
  title = {Veriflow: Verifying Network-Wide Invariants in Real Time},
  shorttitle = {Veriflow},
  author = {Khurshid, Ahmed and Zhou, Wenxuan and Caesar, Matthew and Godfrey, P. Brighten},
  date = {2012-09-24},
  journaltitle = {ACM SIGCOMM Computer Communication Review},
  shortjournal = {SIGCOMM Comput. Commun. Rev.},
  volume = {42},
  number = {4},
  pages = {467--472},
  issn = {0146-4833},
  doi = {10.1145/2377677.2377766},
  url = {https://dl.acm.org/doi/10.1145/2377677.2377766},
  urldate = {2023-01-04},
  langid = {english}
}

@article{liSurvey2019,
  title = {A {{Survey}} on {{Network Verification}} and {{Testing With Formal Methods}}: {{Approaches}} and {{Challenges}}},
  shorttitle = {A {{Survey}} on {{Network Verification}} and {{Testing With Formal Methods}}},
  author = {Li, Yahui and Yin, Xia and Wang, Zhiliang and Yao, Jiangyuan and Shi, Xingang and Wu, Jianping and Zhang, Han and Wang, Qing},
  date = {2019-21},
  journaltitle = {IEEE Communications Surveys \& Tutorials},
  shortjournal = {IEEE Commun. Surv. Tutorials},
  volume = {21},
  number = {1},
  pages = {940--969},
  issn = {1553-877X, 2373-745X},
  doi = {10.1109/COMST.2018.2868050},
  url = {https://ieeexplore.ieee.org/document/8453007/},
  urldate = {2023-01-03},
  langid = {english}
}

@article{maiDebugging2011,
  title = {Debugging the Data Plane with Anteater},
  author = {Mai, Haohui and Khurshid, Ahmed and Agarwal, Rachit and Caesar, Matthew and Godfrey, P. Brighten and King, Samuel Talmadge},
  date = {2011-10-22},
  journaltitle = {ACM SIGCOMM Computer Communication Review},
  shortjournal = {SIGCOMM Comput. Commun. Rev.},
  volume = {41},
  number = {4},
  pages = {290--301},
  issn = {0146-4833},
  doi = {10.1145/2043164.2018470},
  url = {https://dl.acm.org/doi/10.1145/2043164.2018470},
  urldate = {2023-01-03},
  langid = {english}
}

@article{yangRealTime2016,
  title = {Real-{{Time Verification}} of {{Network Properties Using Atomic Predicates}}},
  author = {Yang, Hongkun and Lam, Simon S.},
  date = {2016-04},
  journaltitle = {IEEE/ACM Transactions on Networking},
  shortjournal = {IEEE/ACM Trans. Networking},
  volume = {24},
  number = {2},
  pages = {887--900},
  issn = {1063-6692, 1558-2566},
  doi = {10.1109/TNET.2015.2398197},
  url = {http://ieeexplore.ieee.org/document/7059250/},
  urldate = {2023-01-04}
}

@article{zengLibra,
  title = {Libra: {{Divide}} and {{Conquer}} to {{Verify Forwarding Tables}} in {{Huge Networks}}},
  author = {Zeng, Hongyi and Zhang, Shidong and Ye, Fei and Jeyakumar, Vimalkumar and Ju, Mickey and Liu, Junda and McKeown, Nick and Vahdat, Amin},
  langid = {english}
}

@inproceedings{Zhang2020APKeepRV,
  title = {{{APKeep}}: {{Realtime}} Verification for Real Networks},
  booktitle = {Symposium on Networked Systems Design and Implementation},
  author = {Zhang, Peng and Liu, Xu and Yang, Hongkun and Kang, Ning and Gu, Zhengchang and Li, Hao},
  date = {2020}
}

@incollection{zhangSAT2013,
  title = {{{SAT Based Verification}} of {{Network Data Planes}}},
  booktitle = {Automated {{Technology}} for {{Verification}} and {{Analysis}}},
  author = {Zhang, Shuyuan and Malik, Sharad},
  editor = {Van Hung, Dang and Ogawa, Mizuhito},
  date = {2013},
  series = {Lecture {{Notes}} in {{Computer Science}}},
  volume = {8172},
  pages = {496--505},
  publisher = {{Springer International Publishing}},
  location = {{Cham}},
  doi = {10.1007/978-3-319-02444-8_43},
  url = {http://link.springer.com/10.1007/978-3-319-02444-8_43},
  urldate = {2023-01-03},
  isbn = {978-3-319-02443-1 978-3-319-02444-8}
}

@inproceedings{zhangSymbolic2022,
  title = {Symbolic Router Execution},
  booktitle = {Proceedings of the {{ACM SIGCOMM}} 2022 {{Conference}}},
  author = {Zhang, Peng and Wang, Dan and Gember-Jacobson, Aaron},
  date = {2022-08-22},
  pages = {336--349},
  publisher = {{ACM}},
  location = {{Amsterdam Netherlands}},
  doi = {10.1145/3544216.3544264},
  url = {https://dl.acm.org/doi/10.1145/3544216.3544264},
  urldate = {2023-01-04},
  eventtitle = {{{SIGCOMM}} '22: {{ACM SIGCOMM}} 2022 {{Conference}}},
  isbn = {978-1-4503-9420-8},
  langid = {english}
}
